* doc/misc/cl.texi: General copyedits for style, line-breaks, etc.
authorGlenn Morris <rgm@gnu.org>
Thu, 1 Nov 2012 01:44:50 +0000 (21:44 -0400)
committerGlenn Morris <rgm@gnu.org>
Thu, 1 Nov 2012 01:44:50 +0000 (21:44 -0400)
commitb4945e94aeedb9db0082de442d885282a906dc8f
treedc2ef90027a9fb0858626d8466851963064e3173
parente78928d40cd1aec51b23c068ff281e07e62783e5
* doc/misc/cl.texi: General copyedits for style, line-breaks, etc.
Replace "..." by @dots; car by @sc{car}, etc.
doc/misc/ChangeLog
doc/misc/cl.texi